tac invariant

n. 互切不变式